$\forall$$n$, $m$:$\mathbb{N}$, ${\it nmr}_{1}$:Namer($n$;[]), ${\it nmr}_{2}$:Namer($m$;[]). namer{-}disjoint($n$;$m$;${\it nmr}_{1}$;${\it nmr}_{2}$) $\in$ $\mathbb{P}$